Formal methods and tools for the development of distributed and real time systems : Esprit Project 3096 (SPEC)

The Basic Research Action No. 3096, Formal Methods snd Tools for the Development of Distributed and Real Time Systems, is funded in the Area of Computer Science, under the ESPRIT Programme of the European Community. The coordinating institution is the Department of Computing Science, Eindhoven University of Technology, and the participating Institutions are the Institute of Computer Science of Crete. the Swedish Institute of Computer Science, the Programmimg Research Group of the University of Oxford, and the Computer Science Departments of the University of Manchester, Imperial College. Weizmann Institute of Science, Eindhoven University of Technology, IMAG Grenoble. Catholic University of Nijmegen, and the University of Liege. This document contains the synopsis. and part of the sections on objectives and area of advance, on baseline and rationale, on research goals, and on organisation of the action, as contained in the original proposal, submitted June, 198S. The section on the state of the art (18 pages) and the full list of references (21 pages) of the original proposal have been deleted because of limitation of available space

Current treatment practice of Guillain-Barré syndrome

Objective: To define the current treatment practice of Guillain-Barré syndrome (GBS). Methods: The study was based on prospective observational data from the first 1,300 patients included in the International GBS Outcome Study. We described the treatment practice of GBS in general, and for (1) severe forms (unable to walk independently), (2) no recovery after initial treatment, (3) treatment-related fluctuations, (4) mild forms (able to walk independently), and (5) variant forms including Miller Fisher syndrome, taking patient characteristics and hospital type into account. Results: We excluded 88 (7%) patients because of missing data, protocol violation, or alternative diagnosis. Patients from Bangladesh (n = 189, 15%) were described separately because 83% were not treated. IV immunoglobulin (IVIg), plasma exchange (PE), or other immunotherapy was provided in 941 (92%) of the remaining 1,023 patients, including patients with severe GBS (724/743, 97%), mild GBS (126/168, 75%), Miller Fisher syndrome (53/70, 76%), and other variants (33/40, 83%). Of 235 (32%) patients who did not improve after their initial treatment, 82 (35%) received a second immune modulatory treatment. A treatment-related fluctuation was observed in 53 (5%) of 1,023 patients, of whom 36 (68%) were re-treated with IVIg or PE. Conclusions: In current practice, patients with mild and variant forms of GBS, or with treatment-related fluctuations and treatment failures, are frequently treated, even in absence of trial data to support this choice. The variability in treatment practice can be explained in part by the lack of evidence and guidelines for effective treatment in these situations

Characterization of lamin Mutation Phenotypes in Drosophila and Comparison to Human Laminopathies

Lamins are intermediate filament proteins that make up the nuclear lamina, a matrix underlying the nuclear membrane in all metazoan cells that is important for nuclear form and function. Vertebrate A-type lamins are expressed in differentiating cells, while B-type lamins are expressed ubiquitously. Drosophila has two lamin genes that are expressed in A- and B-type patterns, and it is assumed that similarly expressed lamins perform similar functions. However, Drosophila and vertebrate lamins are not orthologous, and their expression patterns evolved independently. It is therefore of interest to examine the effects of mutations in lamin genes. Mutations in the mammalian lamin A/C gene cause a range of diseases, collectively called laminopathies, that include muscular dystrophies and premature aging disorders. We compared the sequences of lamin genes from different species, and we have characterized larval and adult phenotypes in Drosophila bearing mutations in the lam gene that is expressed in the B-type pattern. Larvae move less and show subtle muscle defects, and surviving lam adults are flightless and walk like aged wild-type flies, suggesting that lam phenotypes might result from neuromuscular defects, premature aging, or both. The resemblance of Drosophila lam phenotypes to human laminopathies suggests that some lamin functions may be performed by differently expressed genes in flies and mammals. Such still-unknown functions thus would not be dependent on lamin gene expression pattern, suggesting the presence of other lamin functions that are expression dependent. Our results illustrate a complex interplay between lamin gene expression and function through evolution

Post-intervention Status in Patients With Refractory Myasthenia Gravis Treated With Eculizumab During REGAIN and Its Open-Label Extension

OBJECTIVE: To evaluate whether eculizumab helps patients with anti-acetylcholine receptor-positive (AChR+) refractory generalized myasthenia gravis (gMG) achieve the Myasthenia Gravis Foundation of America (MGFA) post-intervention status of minimal manifestations (MM), we assessed patients' status throughout REGAIN (Safety and Efficacy of Eculizumab in AChR+ Refractory Generalized Myasthenia Gravis) and its open-label extension. METHODS: Patients who completed the REGAIN randomized controlled trial and continued into the open-label extension were included in this tertiary endpoint analysis. Patients were assessed for the MGFA post-intervention status of improved, unchanged, worse, MM, and pharmacologic remission at defined time points during REGAIN and through week 130 of the open-label study. RESULTS: A total of 117 patients completed REGAIN and continued into the open-label study (eculizumab/eculizumab: 56; placebo/eculizumab: 61). At week 26 of REGAIN, more eculizumab-treated patients than placebo-treated patients achieved a status of improved (60.7% vs 41.7%) or MM (25.0% vs 13.3%; common OR: 2.3; 95% CI: 1.1-4.5). After 130 weeks of eculizumab treatment, 88.0% of patients achieved improved status and 57.3% of patients achieved MM status. The safety profile of eculizumab was consistent with its known profile and no new safety signals were detected. CONCLUSION: Eculizumab led to rapid and sustained achievement of MM in patients with AChR+ refractory gMG. These findings support the use of eculizumab in this previously difficult-to-treat patient population. CLINICALTRIALSGOV IDENTIFIER: REGAIN, NCT01997229; REGAIN open-label extension, NCT02301624. CLASSIFICATION OF EVIDENCE: This study provides Class II evidence that, after 26 weeks of eculizumab treatment, 25.0% of adults with AChR+ refractory gMG achieved MM, compared with 13.3% who received placebo

Terminology and paradigms for fault tolerance

To familiarize the reader with the field of fault tolerance, this report discusses the most important terms and paradigms used in that field. After establishing a basic terminology, the fundamental techniques to achieve fault tolerance, i.e. the basic ways to employ redundancy, are identified. In particular, the role that fault hypotheses play in the design of a fault tolerant system is illustrated. To enable the development of formal methods for fault tolerance, the interaction between fault hypotheses and design decisions is analyzed in detail for two fault tolerant systems. The first is a stable virtual disk which is implemented using a number of unreliable physical disks. The second concerns a reliable broadcast protocol